Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
471	Call for Papers CiE 2009 Computability in Europe 2009: Mathematical Theory and Computational Practice Add to Reading List Source URL: math.uni-heidelberg.de Language: English - Date: 2008-08-19 06:28:19 Computability in Europe Logic Hypercomputation Computability Mathematical logic Computation Algorithm Theoretical computer science Computer science Mathematics
472	Notes on Takeuti’s Parametricity Logic and Wadler’s Girard-Reynolds Isomorphism Kevin Watkins Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-04-20 11:45:53 Predicate logic Formal languages Computability theory Lambda calculus Theoretical computer science Function Formation rule Constructible universe Type theory Logic Mathematics Mathematical logic
473	Computers, Paradoxes and the Foundations of Mathematics Some great thinkers of the 20th century have shown that even in the austere world of mathematics, incompleteness and randomness are rife Gregory J. Chaitin Add to Reading List Source URL: www.cs.umaine.edu Language: English - Date: 2002-02-07 17:02:09 Mathematical logic Computability theory Philosophy of mathematics Theoretical computer science Formal systems Kurt Gödel Halting problem Kolmogorov complexity Algorithmic information theory Mathematics Logic Science
474	A Sequential Model of Computation for First-Order Logic Steven Lindell Haverford College[removed]SUMMARY: Problems computable in constant time on a uniform parallel model of computation (a type of PRAM) have been elegantly Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:30 Computability theory Formal methods Models of computation Theory of computation Algorithm FO Turing machine Lookup table Computability Theoretical computer science Applied mathematics Mathematics
475	Parallel Recursive Algorithm for FCA Petr Krajca, Jan Outrata and Vilem Vychodil Data Analysis and Modelling Laboratory, SUNY Binghamton Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-12 05:47:15 Computability theory Mathematical logic Programming idioms Theory of computation Algorithm Formal concept analysis Recursion Time complexity Algorithm characterizations Theoretical computer science Mathematics Applied mathematics
476	Abstract Datatypes for Real Numbers in Type Theory Mart´ın H¨ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-02-13 07:08:13 Computability theory Functions and mappings Models of computation Lambda calculus Theoretical computer science Continuous function Structure Function Independence Mathematics Mathematical analysis Mathematical logic
477	CANTOR’S DIAGONAL ARGUMENT: PROOF AND PARADOX Cantor’s diagonal method is elegant, powerful, and simple. It has been the source of Add to Reading List Source URL: wiki.laptop.org Language: English - Date: 2011-07-28 22:14:56 Theoretical computer science Mathematical logic Computable function Halting problem Primitive recursive function Church–Turing thesis Function Recursively enumerable set Algorithm Mathematics Theory of computation Computability theory
478	Types Are Calling Conventions Maximilian C. Bolingbroke Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-07-13 08:39:50 Logic in computer science Lambda calculus Models of computation Computability theory C++ classes Valuation ALGOL 68 Evaluation strategy Combinatory logic Theoretical computer science Software engineering Programming language theory
479	Computational Complexity of Higher Type Functions Stephen A. Cook * University of Toronto, Toronto, Ontario M5S 1A4, Canada Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:48:30 Mathematical logic Computational complexity theory Functions and mappings Polynomial Turing reduction Function Oracle machine Theoretical computer science Mathematics Computability theory
480	The Undecidability of the Generalized Collatz Problem Stuart A. Kurtz Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2007-04-29 22:58:36 Models of computation Computability theory Turing machine Formal methods Collatz conjecture Conjectures Undecidable problem Register machine Function Mathematics Mathematical logic Theoretical computer science

UPDATE